Fuzzy Normal Forms and Truth Tables
نویسندگان
چکیده
In this paper, we examine and compare De Morgan-, Kleene-, and Boolean-disjunctive and conjunctive normal forms and consider their role in fuzzy settings. In particular, we show that there are normal forms and truth tables for classical fuzzy propositional logic and intervalvalued fuzzy propositional logic that are completely analogous to those for Boolean propositional logic. Thus, determining logical equivalence of two expressions in classical fuzzy propositional logic is a nite problem, and similarly for the intervalvalued case. Turksen's work on interval-valued fuzzy sets is examined in light of these results.
منابع مشابه
Normal forms and truth tables for fuzzy logics
In this paper, we examine and compare De Morgan-, Kleene-, and Booleandisjunctive and conjunctive normal forms and consider their role in fuzzy settings. In particular, we describe normal forms and truth tables for classical fuzzy propositional logic and interval-valued fuzzy propositional logic that are completely analogous to those for Boolean propositional logic. Thus, determining logical eq...
متن کامل1 From Fuzzy Sets to Crisp Truth Tables
1. Overview One limitation of the truth table approach is that it is designed for causal conditions are simple presence/absence dichotomies (i.e., Boolean or "crisp" sets). Many of the causal conditions that interest social scientists, however, vary by level or degree. For example, while it is clear that some countries are democracies and some are not, there are many in-between cases. These cou...
متن کاملA Logic-Based Approach for Evaluating Interpretability of Fuzzy Rule-Based Classifiers
We describe an automatic approach for evaluating interpretability of fuzzy rule-based classifiers. The approach is based on the logical view of fuzzy rules, which are interpreted as rows in truth tables. These truth tables are subject of a minimization procedure based on a variant of the Quine-McCluskey algorithm. The minimized truth tables are used to build new fuzzy rules, which are compared ...
متن کاملA Mathematical Setting for Fuzzy Logics
The setup of a mathematical propositional logic is given in algebraic terms, describing exactly when two choices of truth value algebras give the same logic. The propositional logic obtained when the algebra of truth values is the real numbers in the unit interval equipped with minimum, maximum and :x = 1 x for conjunction, disjunction and negation, respectively, is the standard propositional f...
متن کاملUpper and Lower Set Formulas: Restriction and Modification of the Dempster-pawlak Formalism†
A modification of Dempster’s and Pawlak’s constructs forms a new foundation for the identification of upper and lower sets formulas. Also, in this modified Dempster-Pawlak construct we require that subsets of the power set be restricted to the wellknown information granules of the power set. An aggregation of upper information granules amongst each other and lower information granules amongst e...
متن کامل